搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书(共6963本)

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Ambulatory Impedance Cardiography [electronic resource] : The Systems and their Applications 0 索取号：作者：Cybulski、 Gerard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gordon、 Andrew D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings 0 索取号：作者：M眉ller-Schloer、 Christian.、Karl、 Wolfgang.、Yehia、 Sami.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems 0 索取号：作者：Puppis、 Gabriele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		High Performance Computing on Vector Systems 2010 [electronic resource] 0 索取号：作者：Resch、 Michael.、Benkert、 Katharina.、Wang、 Xin.、Galle、 Martin.、Bez、 Wolfgang.、Kobayashi、 Hiroaki.、Roller、 Sabine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings 0 索取号：作者：Link、 Sebastian.、Prade、 Henri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Human Error, Safety and Systems Development [electronic resource] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers 0 索取号：作者：Palanque、 Philippe.、Vanderdonckt、 Jean.、Winckler、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings 0 索取号：作者：Massacci、 Fabio.、Wallach、 Dan.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biomedical Engineering Systems and Technologies [electronic resource] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers 0 索取号：作者：Fred、 Ana.、Filipe、 Joaquim.、Gamboa、 Hugo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies 0 索取号：作者：Priami、 Corrado.、Breitling、 Rainer.、Gilbert、 David.、Heiner、 Monika.、Uhrmacher、 Adelinde M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Cognitive Systems [electronic resource] 0 索取号：作者：Christensen、 Henrik Iskov.、Kruijff、 Geert-Jan M.、Wyatt、 Jeremy L.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Symbiotic Multi-Robot Organisms [electronic resource] : Reliability, Adaptability, Evolution 0 索取号：作者：Levi、 Paul.、Kernbach、 Serge.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Interactive Collaborative Information Systems [electronic resource] 0 索取号：作者：Babu拧ka、 Robert.、Groen、 Frans C. A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Intelligent Multimedia Communication: Techniques and Applications [electronic resource] 0 索取号：作者：Chen、 Chang Wen.、Li、 Zhu.、Lian、 Shiguo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Autonomous Systems [electronic resource] : Foundations and Applications 0 索取号：作者：Pratihar、 Dilip Kumar.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Ambulatory Impedance Cardiography [electronic resource] : The Systems and their Applications 0 索取号：作者：Cybulski、 Gerard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 0 索取号：作者：Gordon、 Andrew D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings 0 索取号：作者：M眉ller-Schloer、 Christian.、Karl、 Wolfgang.、Yehia、 Sami.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems 0 索取号：作者：Puppis、 Gabriele.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		High Performance Computing on Vector Systems 2010 [electronic resource] 0 索取号：作者：Resch、 Michael.、Benkert、 Katharina.、Wang、 Xin.、Galle、 Martin.、Bez、 Wolfgang.、Kobayashi、 Hiroaki.、Roller、 Sabine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings 0 索取号：作者：Link、 Sebastian.、Prade、 Henri.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Human Error, Safety and Systems Development [electronic resource] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers 0 索取号：作者：Palanque、 Philippe.、Vanderdonckt、 Jean.、Winckler、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings 0 索取号：作者：Massacci、 Fabio.、Wallach、 Dan.、Zannone、 Nicola.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biomedical Engineering Systems and Technologies [electronic resource] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers 0 索取号：作者：Fred、 Ana.、Filipe、 Joaquim.、Gamboa、 Hugo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Transactions on Computational Systems Biology XII [electronic resource] : Special Issue on Modeling Methodologies 0 索取号：作者：Priami、 Corrado.、Breitling、 Rainer.、Gilbert、 David.、Heiner、 Monika.、Uhrmacher、 Adelinde M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Cognitive Systems [electronic resource] 0 索取号：作者：Christensen、 Henrik Iskov.、Kruijff、 Geert-Jan M.、Wyatt、 Jeremy L.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Symbiotic Multi-Robot Organisms [electronic resource] : Reliability, Adaptability, Evolution 0 索取号：作者：Levi、 Paul.、Kernbach、 Serge.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Interactive Collaborative Information Systems [electronic resource] 0 索取号：作者：Babu拧ka、 Robert.、Groen、 Frans C. A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Intelligent Multimedia Communication: Techniques and Applications [electronic resource] 0 索取号：作者：Chen、 Chang Wen.、Li、 Zhu.、Lian、 Shiguo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Intelligent Autonomous Systems [electronic resource] : Foundations and Applications 0 索取号：作者：Pratihar、 Dilip Kumar.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.